All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue reading